Integrated development environment for multi-core systems

Towards an Intelligent Environment for Programming Multi-core Computing Systems

In this position paper we argue that an intelligent program development environment that proactively supports the user helps a mainstreamprogrammer to overcome thedifficulties of programmingmulti-core computing systems. We propose a programming environment based on intelligent software agents that enables users to work at a high level of abstraction while automating low-level implementation act...

An Integrated Development Environment for Declarative Multi-Paradigm Programming

In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is a graphical environment to support the development of Curry programs by providing integrated tools for the analysis and visualization of programs. CIDER is completely implemented in Curry using libraries for GUI programmin...

An Integrated Multi-Domain Analysis Environment For High Consequence Systems

Modeling and analysis of high consequence, high assurance systems requires special modeling considerations. System safety and reliability information must be captured in the models. Previously, high consequence systems were modeled using separate, disjoint models for safety, reliability, and security. The MultiGraph Architecture facilitates the implementation of a model-integrated system for mo...

An Integrated Software Environment for Development of Driver Support Systems

An Integrated V&V Environment for Critical Systems Development

This paper is an introduction to the demonstration sessions for the Precise UML Development Environment (PrUDE). PrUDE is a software V&V platform that integrates in a cost-effective way various rigorous software analysis methodologies.